Model theory
STUDY OF CLASSES OF MATHEMATICAL STRUCTURES FROM THE PERSPECTIVE OF MATHEMATICAL LOGIC
Model Theory; Theory of models; Model-theoretic; Model-theoretic approach; Model theoretic; History of model theory; Homogeneous model
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the statements of the theory hold).Chang and Keisler, p.